1. Advances in hardware design and verification: IFIP TC10.5 International Conference on Correct Hardware and Verification Methods, 16-18 October 1997, Montreal, Canada
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer engineering-- Congresses,، Computer software-- Verification-- Congresses
رده :
TK
7874
.
75
.
I45
1997
2. Automatic verification of sequential infinite-state processes
پدیدآورنده : Burkart, Olaf
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer software -- Verification,، Software engineering
رده :
QA
76
.
L28
Vol
.
1354
3. Data flow analysis :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Compilers (Computer programs) ; Data flow computing ; Software engineering ; Computer software ; Verification ;
4. Data flow analysis
پدیدآورنده : Uday P. Khedker, Amitabha Sanyal, Bageshri Karkare.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Compilers (Computer programs),Computer software-- Verification.,Data flow computing.,Software engineering.,Compilers (Computer programs),Computer software-- Verification.,COMPUTERS-- Systems Architecture-- Distributed Systems & Computing.,Data flow computing.,Software engineering.
5. Empirical software engineering and verification
پدیدآورنده : Bertrand Meyer, Martin Nordio (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
E47
2011eb
6. Formal Methods for Industrial Critical Systems
پدیدآورنده : \ Manuel Núñez , Matthias Güdemann (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,برنامه‌های کامپیوتری -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
F6
2015
E-Book
,
7. Foundations of computer software
پدیدآورنده : Radu Calinescu, Ethan Jackson (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
76
.
D47
M66
2011
8. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
پدیدآورنده :
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
رده :
QA
76
.
76
.
D47
.
M666
2011
9. Fundamental approaches to software engineering
پدیدآورنده : Juan de Lara, Andrea Zisman (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
رده :
QA76
.
758
.
F44
2012eb
10. Languages, Design Methods, and Tools for Electronic System Design
پدیدآورنده : \ Franco Fummi, Robert Wille, Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses,Software engineering -- Congresses,Computer software -- Verification -- Congresses,روش‌های صوری (کامپیوتر) -- کنگره‌ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره‌ها
رده :
E-Book
,
11. Languages, design methods, and tools for electronic system design.
پدیدآورنده : \ Frank Oppenheimer , Julio Luis Medina Pasaje Editors
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
9
.
L325
2016
E-Book
,
12. Model Checking Software
پدیدآورنده : \ Bernd Fischer, Jaco Geldenhuys (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Software engineering,نرمافزار,-- Congresses,-- کنگره‌ها, -- مهندسی,a04,a04,Computer software -- Verification -- Congresses,SPIN (Computer file) -- Congresses.,نرمافزار -- راستی‌آزمایی -- کنگره ها
رده :
QA
76
.
76
.
V47
I58
2015
E-Book
,
13. Software engineering analysis and verification
پدیدآورنده : Lewis, Theodore Gyle, 1491-
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Software engineering,، Computer software -- Verification
رده :
QA
76
.
6
.
L477
14. Software engineering reviews and audits
پدیدآورنده : Boyd L. Summers
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Software engineering,Computer software, Validation,Computer software, Verification
رده :
QA
،
76
.
758
،.
S86
،
2011
15. Software engineering reviews and audits
پدیدآورنده : Summers, Boyd L.
کتابخانه: Library of Razi Metallurgical Research Center (Tehran)
موضوع : ، Software engineering,Validation ، Computer software,Verification ، Computer software
رده :
QA
76
.
758
.
S86
2011
16. Software engineering reviews and audits
پدیدآورنده : Summers, Boyd L.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Software engineering,Validation ، Computer software,Verification ، Computer software
رده :
QA
76
.
758
.
S86
2011
17. Verification, Model Checking, and Abstract Interpretation.
پدیدآورنده : \ Barbara Jobstmann , K. Rustan M. Leino (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Computer software -- Verification.,نرمافزار -- راستی‌آزمایی -- کنگره ها,نرمافزار -- مهندسی-- کنگره‌ها ,نرمافزار -- راستی‌آزمایی
رده :
.
V4
2016
E-Book
,
18. Verification, Model Checking, and Abstract Interpretation
پدیدآورنده : \ Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer software -- Verification -- Congresses.,Software engineering -- Congresses.,Logics and Meanings of Programs.,نرمافزار -- راستی‌آزمایی -- کنگره ها ,نرمافزار -- مهندسی-- کنگره‌ها
رده :
QA
76
.
76
.
V47
2015
E-Book
,
